# -*- mode: snippet -*-
# name: Set Injection On Proofs
# --
Set Injection On Proofs
